🔢 const Generics - hello · Scour

Models of generics and metaprogramming: Golang, Rust, Swift, D, and more

thume.ca·2d·

Discuss: Hacker News

📐Type Theory

Making generic method for getter and setter

reddit.com·17h·

Discuss: r/golang

Rust async combinators for elegant and secure concurrency

kerkour.com·13h·

Discuss: r/rust

A Deep Dive into TypeScript Type Assertions: From Basics to Advanced Patterns

typescriptworld.com·1d·

Discuss: DEV

Turing meets Moore-Penrose: Computing the Pseudoinverse on Turing Machines

arxiv.org·14h

🧮SMT Solvers

Dealing with alternatives

jemarch.net·1d

🏷️Pointer Tagging

ImmutableList vs. List in Jetpack Compose: Rethinking “Best Practice” After Strong Skipping Mode

dev.to·4h·

Discuss: DEV

🔁eBPF Tail Calls

Scientific Computing in Rust Monthly #14

scientificcomputing.rs·7h

🦀Rust Macros

Workarounds for C11 _Generic

chiark.greenend.org.uk·3d

GNU C Language Manual

gnu.org·58s

🔨Compiler Design

Type-Safe Routing Without the Build Step

werkbank.dev·57m·

Discuss: Hacker News

Subterms Modulo Theories I

philipzucker.com·2d

🔍Type Inference

Soundness bugs in Rust libraries: can't live with 'em, can't live without 'em

docs.rs·3h·

Discuss: Hacker News

⚠️Rust Unsafe

Kolmogorov Complexity

en.wikipedia.org·7h·

Discuss: Hacker News

🗜️Huffman Coding

Stop Overusing Interfaces (2017)

blog.hovland.xyz·4h·

Discuss: Hacker News

C++26 Reflection 💚 QRangeModel

qt.io·2d·

Discuss: Lobsters, Hacker News, r/cpp

🦀Rust Macros

Debounce in Swift: Ditch Combine for This One Simple Loop

github.com·1d·

Discuss: DEV

🔄Transducers

Alexis King’s Blog

lexi-lambda.github.io·1d

📐Type Theory

Resource-Bounded Martin-L\"of Type Theory: Compositional Cost Analysis for Dependent Types

arxiv.org·2d

👻Phantom Types

Two Pointer for Beginners — Reverse an Array (In-Place)

dev.to·1d·

Discuss: DEV

♻️Interning

Loading more...